(set-logic NRA)
(set-info :status sat)
(declare-const x21 Bool)
(set-option :check-models true)
(declare-const _x Real)
(declare-const x2 Real)
(declare-const x Real)
(assert (> (- (- 2 x2)) 1.0))
(assert (ite (or (and (> 0 x) x21) (and (> x 0) (> 2 (/ _x _x _x x)))) false true))
(assert (and (> 0.0 _x) (= 1.0 (* x (/ (+ (/ _x x2) (/ _x x2)) x 0.0)))))
(check-sat)
